Der Nachweis von Digitoxin
نویسندگان
چکیده
منابع مشابه
Formaler Nachweis der Fehlertoleranz von Schaltkreisen
While facing continuously shrinking feature sizes, the demand for fault tolerance in digital circuits increases. Numerous approaches to achieve such robustness on the design side have been presented. But ensuring that the fault tolerance is really achieved is a tough verification problem. Here, we propose a formal model and an effective algorithm to formally prove the robustness of a digital ci...
متن کاملAnsätze zum Nachweis der Gleichwertigkeit von Software-Komponenten
Wie kann man heute ein bereits seit Jahren im Markt befindliches System nach einer Änderung effizient rezertifizieren? In diesem Artikel wird ein Lösungsansatz skizziert. Ausgehend von einer Risikoanalyse werden geeignete Vorgehensweisen und Kriterien abgeleitet, mit denen sich operational die Gleichwertigkeit von Software-Komponenten fassen lässt. Ein effizientes Vorgehen sähe dann wie folgt a...
متن کاملNachweis, Expression und Bedeutung der von Bacillus cereus produzierten Enterotoxin-Komplexe
The non-hemolytic enterotoxin (Nhe) is one of the two three-component enterotoxins which are responsible for diarrheal food-poisoning syndrome caused by Bacillus cereus. To facilitate the detection of this toxin, consisting of the subunits NheA, NheB and NheC, a complete set of highaffinity antibodies against each of the three components was established and characterized. A rabbit antiserum spe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zeitschrift für analytische Chemie
سال: 1900
ISSN: 0016-1152
DOI: 10.1007/bf01359354